package randoopFailures;

import junit.framework.*;

public class PackageModelRandoopTest_failure_8 extends TestCase {

  public static boolean debug = false;

  public void test1() throws Throwable {

    if (debug) System.out.printf("%nPackageModelRandoopTest_failure_8.test1");


    com.hyperrealm.kiwi.ui.model.TableSorter var0 = new com.hyperrealm.kiwi.ui.model.TableSorter();
    com.hyperrealm.kiwi.ui.model.TableSorter var1 = new com.hyperrealm.kiwi.ui.model.TableSorter();
    com.hyperrealm.kiwi.ui.model.TableSorter var2 = new com.hyperrealm.kiwi.ui.model.TableSorter();
    var1.addTableModelListener((javax.swing.event.TableModelListener)var2);
    var0.setModel((javax.swing.table.TableModel)var1);
    var1.sortByColumn(100);

  }

}
